void start_kernel(void)
{
    while (1) {};
}